Synchronization of ConCurrent Processes
ثبت نشده
چکیده
Th oaoer gives an overview of commonly used synchronization primitives and literature and presents a new form of primitive expressing conditional critical regions. A new solution is presented to the problem of "readers and wr.ters . ut.l.z.ng the DroDo4d synchronization primitive. The solution is simpler and shorter than other known S'ms The first sections of the paper give a tutorial introduct.on mto establ.shed methods^ in order to provide a suitable background for the remammg parts.
منابع مشابه
Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs
We present a framework that takes a concurrent program composed of unsynchronized processes, along with a temporal specification of their global concurrent behaviour, and automatically generates a concurrent program with synchronization ensuring correct global behaviour. Our methodology supports finite-state concurrent programs composed of processes that may have local and shared variables, may...
متن کاملSupporting Concurrent Design by Integrating Information Sharing and Activity Synchronization
Viewing concurrent design as processes of collaboration, coordination and co-decision making within and between cross-functional teams, we argue that an appropriate integration of information sharing and activity synchronization approaches is necessary and beneficial for a concurrent design support environment. This paper presents our approach to model concurrent design processes. We address su...
متن کاملAn Algorithmic Framework for Synthesis of Concurrent Programs
We present a framework that takes unsynchronized sequential processes along with a temporal specification of their global concurrent behaviour, and automatically generates a concurrent program with synchronization code ensuring correct global behaviour. The synthesized synchronization code is based on monitors with wait and notify operations on condition variables, and mutual-exclusion locks. N...
متن کاملCovariance, Contravariance, and Synchronization Constraints
Object Orientation and concurrent progamming are a natural match. Objects correspond to processes in a concurrent program; a message from one object to another invoking a method of the latter, corresponds naturally to (message passing) interaction between processes in a concurrent program. Despite this close correspondence, progress in developing an OO approach to concurrency has been limited. ...
متن کاملFrom Causal Consistency to Sequential Consistency in Shared Memory Systems
Sequential consistency and causal consistency constitute two of the main consistency criteria used to deene the semantics of accesses in the shared memory model. An execution is sequentially consistent if all processes can agree on a same legal sequential history of all the accesses; if processes perceive distinct legal sequential histories of all the accesses, the execution is only causally co...
متن کاملDesign, Verification, and Testing of Synchronization and Communication Protocols with Java
The simple multi-threading interface of Java permits the easy design, implementation, and testing of synchronization and communication protocols among concurrent processes. These protocols can be easily described with Hoare's Communicating Sequential Processes (CSP). The addition of modern CASE tools allows formal verification of the designs, thus cutting time spent in implementation and testin...
متن کامل